- 第二階述詞演算
- second-order predicate calculus: 二階謂詞演算
- predicate calculus: 述詞計(jì)算; 謂詞演算
- connective in predicate calculus: 謂詞演算中的連接詞
- extended predicate calculus: 廣義謂詞演算
- first order predicate calculus: 一階謂詞演算
下載手機(jī)詞典可隨時隨地查詞查翻譯
second predicate calculus中文什么意思
- 第二階述詞演算
下載手機(jī)詞典可隨時隨地查詞查翻譯